package gov.nasa.anml.lifted;

import java.util.*;

import gov.nasa.anml.utility.*;


public interface Constraint<T> extends Collection<T>, Cloneable {
	//boolean contains(T v);
	boolean containsAll(Constraint<T> t); //subsumes, supertype, superset, ...
	Set<T> values();
	Pair<T,T> bounds();
	Constraint<T> clone();
}


